Modal Logic of Projective Geometries of Finite Dimension
نویسنده
چکیده
Extending an original idea of B Jonsson R Lyndon showed in Lyndon how to con struct relation algebras boolean algebras with the binary operator composition the unary operator converse and the constant identity which satisfy the so called Tarski axioms see Henkin et alii J onsson Tarski from projective geometries thus providing a method for deriving consequences in the algebraic theory of binary relations from certain familiar facts of projective geometry Lyndon By a projective geometry he meant the following the de nition below is valid throughout the present paper
منابع مشابه
The existence totally reflexive covers
Let $R$ be a commutative Noetherian ring. We prove that over a local ring $R$ every finitely generated $R$-module $M$ of finite Gorenstein projective dimension has a Gorenstein projective cover$varphi:C rightarrow M$ such that $C$ is finitely generated and the projective dimension of $Kervarphi$ is finite and $varphi$ is surjective.
متن کاملCharacterization of some projective special linear groups in dimension four by their orders and degree patterns
Let $G$ be a finite group. The degree pattern of $G$ denoted by $D(G)$ is defined as follows: If $pi(G)={p_{1},p_{2},...,p_{k}}$ such that $p_{1}
متن کاملUndecidable Theories of Lyndon Algebras
With each projective geometry we can associate a Lyndon algebra. Such an algebra always satisfies Tarski’s axioms for relation algebras and Lyndon algebras thus form an interesting connection between the fields of projective geometry and algebraic logic. In this paper we prove that if G is a class of projective geometries which contains an infinite projective geometry of dimension at least thre...
متن کاملGorenstein projective objects in Abelian categories
Let $mathcal {A}$ be an abelian category with enough projective objects and $mathcal {X}$ be a full subcategory of $mathcal {A}$. We define Gorenstein projective objects with respect to $mathcal {X}$ and $mathcal{Y}_{mathcal{X}}$, respectively, where $mathcal{Y}_{mathcal{X}}$=${ Yin Ch(mathcal {A})| Y$ is acyclic and $Z_{n}Yinmathcal{X}}$. We point out that under certain hypotheses, these two G...
متن کاملCopresented Dimension of Modules
In this paper, a new homological dimension of modules, copresented dimension, is defined. We study some basic properties of this homological dimension. Some ring extensions are considered, too. For instance, we prove that if $Sgeq R$ is a finite normalizing extension and $S_R$ is a projective module, then for each right $S$-module $M_S$, the copresented dimension of $M_S$ does not exceed the c...
متن کامل